2. Types look only to matter of fact, or things done under the law; to matter of fact, or things under the Gospel; as Sarah and Hagar, Isaac and Ishmael, the paschal-lamb, &c. 3. Types are only historical,* as such, the truth agreeing with the Antitype makes them up, and fulfils them as to the design of God therein; as the brazen serpent in its perfect signification was fulfilled, when Jesus Christ was lifted up upon the cross; the like in respect had unto the rock that was pierced in the wilderness,